A BDD-Based Algorithm for Reliability Graph Analysis
نویسندگان
چکیده
In this paper, a new algorithm based on Binary Decision Diagram (BDD) for reliability graph analysis is proposed. The reliability graphs are encoded into a BDD that can be easily evaluated. The minpaths and mincuts of a reliability graph can be obtained by BDD. Sensitivity analysis and ordering of variables are discussed in this paper as well. Due to the feature of BDD, the sum of disjoint products (SDP) can be represented by BDD implicitly, which avoids huge storage and high computation complexity for large reliability graphs. Some examples and experiments show the eeciency of this algorithm.
منابع مشابه
Time and Space Complexity Reduction of a Cryptanalysis Algorithm
Binary Decision Diagram (in short BDD) is an efficient data structure which has been used widely in computer science and engineering. BDD-based attack in key stream cryptanalysis is one of the best forms of attack in its category. In this paper, we propose a new key stream attack which is based on ZDD(Zero-suppressed BDD). We show how a ZDD-based key stream attack is more efficient in time and ...
متن کاملAn Improved Algorithm for Network Reliability Evaluation
Binary Decision Diagram (BDD) is a data structure proved to be compact in representation and efficient in manipulation of Boolean formulas. Using Binary decision diagram in network reliability analysis has already been investigated by some researchers. In this paper we show how an exact algorithm for network reliability can be improved and implemented efficiently by using CUDD - Colorado Univer...
متن کاملPerformance Improvement of Edge Expansion Technique for BDD-based Network Reliability Analysis
The network reliability analysis based on Binary Decision Diagram (BDD) consists of three steps: edge ordering, BDD generation and BDD evaluation. The BDD generation process using edge expansion technique should recursively decompose the network and construct the edge expansion subnet in a top-down manner. There is large number of useless or redundant subnets generated in this decomposition, wh...
متن کاملTime and Space Complexity Reduction of a Cryptanalysis Algorithm
Binary Decision Diagram (in short BDD) is an efficient data structure which has been used widely in computer science and engineering. BDD-based attack in key stream cryptanalysis is one of the best forms of attack in its category. In this paper, we propose a new key stream attack which is based on ZDD(Zero-suppressed BDD). We show how a ZDD-based key stream attack is more efficient in time and ...
متن کاملAdvanced Features of the Fault Tree Solver FTREX
This paper presents advanced features of a fault tree solver FTREX (Fault Tree Reliability Evaluation eXpert). Fault tree analysis is one of the most commonly used methods for the safety analysis of industrial systems especially for the probabilistic safety analysis (PSA) of nuclear power plants. Fault trees are solved by the classical Boolean algebra[1,2], conventional Binary Decision Diagram ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000